Перевод: с английского на русский

с русского на английский

formal method

См. также в других словарях:

  • Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… …   Wikipedia

  • Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… …   Wikipedia

  • Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] …   Wikipedia

  • Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… …   Wikipedia

  • Formal — Form al (f[^o]rm al), a. [L. formalis: cf. F. formel.] 1. Belonging to the form, shape, frame, external appearance, or organization of a thing. [1913 Webster] 2. Belonging to the constitution of a thing, as distinguished from the matter composing …   The Collaborative International Dictionary of English

  • Formal cause — Formal Form al (f[^o]rm al), a. [L. formalis: cf. F. formel.] 1. Belonging to the form, shape, frame, external appearance, or organization of a thing. [1913 Webster] 2. Belonging to the constitution of a thing, as distinguished from the matter… …   The Collaborative International Dictionary of English

  • Method acting — is a phrase that loosely refers to a family of techniques used by actors to create in themselves the thoughts and emotions of their characters, so as to develop lifelike performances. It can be contrasted with more classical forms of acting, in… …   Wikipedia

  • Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …   Wikipedia

  • Formal charge — 2006, 83, 791. [http://www.jce.divched.org/Journal/Issues/2006/May/abs791.html Abstract] ] .The formal charge can be calculated by the following equation:FC = number of valence electrons of the atom number of lone pair electrons on this atom half …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»